Interval reduction through requirements analysis
نویسندگان
چکیده
منابع مشابه
Requirements Analysis through Viewpoints Oriented Requirements Model (VORD)
This paper describes an extension to the Viewpoints Oriented Requirements Definition (VORD) model and attempts to resolve its lack of direct support for viewpoint interaction. Supporting the viewpoint interaction provides a useful tool for analyzing requirements changes and automating systems. It can also be used to indicate when multiple requirements are specified as a single requirement. The ...
متن کاملStudying Compiler Optimizations on Superscalar Processors Through Interval Analysis
Understanding the performance impact of compiler optimizations on superscalar processors is complicated because compiler optimizations interact with the microarchitecture in complex ways. This paper analyzes this interaction using interval analysis, an analytical processor model that allows for breaking total execution time into cycle components. By studying the impact of compiler optimizations...
متن کاملAssessing Requirements Quality Through Requirements Coverage
In model-based development, the development effort is centered around a formal description of the proposed software system—the “model”. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis...
متن کاملAutomated analysis of security requirements through risk-based argumentation
Computer-based systems are increasingly being exposed to evolving security threats, which often reveal new vulnerabilities. A formal analysis of the evolving threats is difficult due to a number of practical considerations such as incomplete knowledge about the design, limited information about attacks, and constraints on organisational resources. In our earlierwork onRISA (RIsk assessment in S...
متن کاملImproving Traceability of Requirements Through Qualitative Data Analysis
Traceability is an important quality aspect in modern software development. It facilitates the documentation of decisions and helps identifying conflicts regarding the conformity of one artifact to another. We propose a new approach to requirements engineering that utilizes qualitative research methods which have been well established in the domain of social science. Our approach integrates tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bell Labs Technical Journal
سال: 2002
ISSN: 1089-7089
DOI: 10.1002/bltj.2102